This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
اقرأ المزيدThis volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
اقرأ المزيد